Positive Model Theory and Amalgamations
نویسندگان
چکیده
منابع مشابه
Positive Model Theory and Amalgamations
We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poizat. The objects of this analysis are h-inductive theories and their models, especially the “positively” existentially closed ones. We analyze topological properties of spaces of types, introduce forms of quantifier elimination and characterize minimal completions of arbitrary hinductive theories...
متن کاملPositive Model Theory and Compact Abstract Theories
We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract t...
متن کاملAmalgamations and the Kervaire Problem
Following S. Brick, a 2-complex X is called "Kervaire" if all systems of equations, with coefficients in arbitrary groups G and the attaching maps of X as the words in the variable letters, are solvable in an over group of G. An obstruction theory is developed for solving equations modeled on Z = Xp Y, where X and Y are Kervaire 2-complexes and T is a subgraph of Z^\ each connected component of...
متن کاملIsoperimetric Functions of Amalgamations of Nilpotent Groups
We consider amalgamations of nitely generated nilpotent groups of class c. We show that doubles satisfy a polynomial isoperimetric inequality of degree 2c. Generalising doubles we introduce non-twisted amalgamations and show that they satisfy a polynomial isoperimetric inequality as well. We give a su cient condition for amalgamations along abelian subgroups to be non-twisted and thereby to sat...
متن کاملAmalgamations and Link Graphs of Cayley Graphs
The link of a vertex v in a graph G is the subgraph induced by all vertices adjacent to v. If all the links in G are isomorphic to the same graph L, then L is called the link graph of G. We consider the operation of an amalgamation of graphs. Using the construction of the free product of groups with amalgamated subgroups, we give a sufficient condition for a class of link graphs of Cayley graph...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2014
ISSN: 0029-4527
DOI: 10.1215/00294527-2420648